Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
301	Processes and Continuous Change in a SAT-based Planner 1 Ji-Ae Shin Courant Institute, New York University, New York, NY 10012, USA Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2005-02-14 11:22:18 Mathematics Automated planning and scheduling Programming paradigms Operations research Planning Domain Definition Language Logic in computer science Boolean satisfiability problem Constraint satisfaction Linear programming Theoretical computer science Applied mathematics Constraint programming
302	Absolute Value Acrobatics (In the Public Domain. No rights reserved.) Absolute Value Acrobatics (In the Public Domain. No rights reserved.) Add to Reading List Source URL: www.public-domain-materials.com Language: English - Date: 2012-06-03 22:29:10 Metric geometry Linear algebra Triangle inequality Absolute value Expected value Fuzzy logic Mathematical logic Mutual information Metric Mathematics Geometry Algebra
303	Conservative Belief Change James P. Delgrande Abhaya C. Nayak Maurice Pagnucco Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2004-08-04 13:50:37 Belief revision Knowledge representation Interpretation Science Constructible universe Symbol Contraction Artificial intelligence Linear temporal logic Model theory Logic Operator theory
304	Random Graphs and The Parity Quantifier Phokion G. Kolaitis UC Santa Cruz & Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-27 14:47:38 Model theory Finite model theory FO First-order logic Descriptive complexity theory Almost surely Second-order logic Structure Linear temporal logic Logic Mathematical logic Mathematics
305	Proc. TACAS 2015, (c) Springer . Verifiable Witnesses Software Verification and (Report on SV-COMPDirk Beyer Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2015-02-14 11:39:08 Applied mathematics Formal verification Software verification Model checking Linear temporal logic Verilog Mathematics Formal methods Logic in computer science Theoretical computer science
306	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Propositional calculus Logical syntax Formal languages Well-formed formula If and only if Logical connective Function Linear temporal logic First-order logic Logic Mathematics Mathematical logic
307	Fingerprints in Compressed Strings Philip Bille1 , Patrick Hagge Cording1 , Inge Li Gørtz1? , Benjamin Sach2 , Hjalte Wedel Vildhøj1 , and Søren Vind1?? 1 2 Add to Reading List Source URL: www2.imm.dtu.dk Language: English - Date: 2013-04-30 10:04:08 Mathematics Information Mathematical analysis Linear temporal logic Binary trees Rope Fingerprint
308	A level set formulation for Willmore flow M. Droske, M. Rumpf∗ June 2, 2004 Abstract A level set formulation of Willmore flow is derived using the gradient flow perspective. Starting from single embedded surfaces and t Add to Reading List Source URL: numod.ins.uni-bonn.de Language: English - Date: 2010-10-07 11:50:02 Calculus of variations Linear temporal logic Absorbing set
309	Ergodic averages for monotone functions using upper and lower dominating processes Jesper Møller Department of Mathematical Sciences, Aalborg University, Denmark. Kerrie Mengersen Add to Reading List Source URL: people.math.aau.dk Language: English - Date: 2006-01-10 11:20:10 Central limit theorem Markov chain Μ operator Linear temporal logic Statistics Probability and statistics Normal distribution
310	LNCS 5123 - <TEX>{CSIsat}</TEX>: Interpolation for LA+EUF Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:10 Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Interpolation Satisfiability Modulo Theories Solver Linear programming Theoretical computer science Applied mathematics Mathematics

UPDATE